Documentation

Helper function for getting a symbol in the Equational Stage.

Helper function for getting a symbol in the Implementation Stage.

Finds if a Stage symbol is real or Empty. True if real.

Helper for creating a symbol with Unicode in it.

Helper for creating a symbol with a hat ("^") atop it.

Helper for creating a Vector symbol.

Helper for creating a symbol that depends on the stage.

Helper for creating a symbol with a subscript to the right. Arguments: Base symbol, then subscripted symbol.

Helper for a common case of subscript, with a string Arguments: Base symbol, then subscript String.

Helper for creating a symbol with a superscript to the right. Arguments: Base symbol, then superscripted symbol.

Helper for autoStage that applies unicodeString to all Symbols with Strings.

Helper for creating a symbol with a superscript on the left side of the symbol. Arguments: Base symbol, then superscripted symbol.

Helper for creating a Vector symbol.

Label smart constructor, requires non-empty labels

Variable smart constructor, requires non-empty variables

Sorts a list of HasSymbols by Symbol.

Sorts a tuple list of HasSymbols by first Symbol in the tuple.

Compare the equational Symbol of two things.