Synonyms

sort $=$ sorts
subsort $=$ subsorts
var $=$ vars

Command only synonyms:

advise $=$ advisory $=$ advisories
alias $=$ aliases
cmd $=$ command
cond $=$ condition
cont $=$ continue
eqs $=$ eq
erew $=$ erewrite
flat $=$ flattened
frew $=$ frewrite
kinds $=$ components
label $=$ labels
mbs $=$ mb
paren $=$ parens $=$ parentheses
q $=$ quit
rat $=$ rational
red $=$ reduce
rew $=$ rewrite
rls  $=$ rl $=$ rule $=$ rules
s.t. $=$ such that
subst $=$ substitution

Module only synonyms:

assoc $=$ associative
ceq $=$ cq
comm $=$ commutative
config $=$ configuration
ctor $=$ constructor
ex $=$ extending
id: $=$ identity:
idem $=$ idempotent
inc $=$ including
iter $=$ iterated
msg $=$ message
obj $=$ object
owise $=$ otherwise
poly $=$ polymorphic
prec $=$ precedence
pr $=$ protecting
strat $=$ strategy