To provide flexibility in the textual style of an SpecL specification, most keywords have abbreviated forms that are synonymous with the longer forms of the keyword. The following table summarizes all keyword synonyms:

Full Keyword	Synonymous Abbreviations
and	','
axiom	ax
collection	list, list of, '*' (as a postfix operator)
components	parts
exists	exist, there exist, there exists
function	func
iff	'<=>'
implies	'=>'
inputs	in
object	obj
operation	op
operations	ops
outputs	out
postconditions	postcond, post
preconditions	precon, pre
variable	var