RuleCalled f

variable.spad line 44 [edit on github]

• f: Symbol

This domain implements named rules

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

name: % -> Symbol

name(x) returns the symbol

BasicType

CoercibleTo OutputForm

SetCategory