| abelianGroupLaws | Domain.Algebra.GroupLaws |
| absorptionAndLaws | Domain.Algebra.BooleanLaws |
| absorptionOrLaws | Domain.Algebra.BooleanLaws |
| absSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| acoshSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| acosSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| Additive | |
| 1 (Type/Class) | Domain.Algebra.Field |
| 2 (Data Constructor) | Domain.Algebra.Field |
| addToClipboard | Domain.Math.Expr.Clipboard, Domain.Math.Expr |
| addToClipboardG | Domain.Math.Expr.Clipboard, Domain.Math.Expr |
| allPowers | Domain.Math.Data.PrimeFactors |
| And | |
| 1 (Type/Class) | Domain.Algebra.Boolean, Domain.Logic.Formula |
| 2 (Data Constructor) | Domain.Algebra.Boolean, Domain.Logic.Formula |
| andOverOrLaws | Domain.Algebra.BooleanLaws |
| ands | Domain.Algebra.Boolean, Domain.Logic.Formula |
| andSymbol | Domain.Logic.Formula |
| andView | Domain.Logic.Views |
| appendInv | Domain.Algebra.Group |
| appendInverseLaws | Domain.Algebra.GroupLaws |
| Approximately | Domain.Math.Data.Relation |
| asinhSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| asinSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| associative | Domain.Algebra.GroupLaws |
| associativeFor | Domain.Algebra.GroupLaws |
| associativeList | Domain.Algebra.Group |
| atanhSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |
| atanSymbol | Domain.Math.Expr.Symbols, Domain.Math.Expr |