RuleCalled(f)

variable.spad line 44 [edit on github]

This domain implements named rules

= : (%, %) -> Boolean
from BasicType
coerce : % -> OutputForm
from CoercibleTo(OutputForm)
latex : % -> String
from SetCategory
name : % -> Symbol

name(x) returns the symbol

~= : (%, %) -> Boolean
from BasicType

BasicType

SetCategory

CoercibleTo(OutputForm)