Suggestions for SemanTeX
The following packages have something in common with the package SemanTeX. The packages are ordered in decreasing similarity.
- cascade: Constructions with braces to present mathematical demonstrations
- ebproof: Formal proofs in the style of sequent calculus
- flexisym: Symbol manipulation for breqn
- semtex: Deals with stripped SemanTeX documents
- smart-eqn: Automatic math symbol styling for LaTeX documents
- numerica: Numerically evaluate mathematical expressions in LaTeX form
- longdivision: Typesets long division
- diffcoeff: Write differential coefficients easily and consistently
- derivative: Nice and easy derivatives
- rec-thy: Commands to typeset recursion theory papers
- moremath: Additional commands for typesetting maths
- create-theorem: Initializing and configuring theorem-like environments, with multilingual support
- keytheorems: An l3keys interface to amsthm
- pascaltriangle: Draw beautiful Pascal (Yanghui) triangles
- simples-matrices: Define matrices by given list of values
- letterswitharrows: Draw arrows over math letters
- mathcommand: \newcommand-like commands for defining math macros
- rbt-mathnotes: Rebecca Turner’s personal macros and styles for typesetting mathematics notes
- numerica-plus: Iteration and recurrence relations: finding fixed points, zeros and extrema of functions
- numerica-tables: Create multi-column tables of mathematical functions
- schulmathematik: Commands and document classes for German-speaking teachers of mathematics and physics
- unicode-math-input: Allow entering Unicode symbols in math formulas
- leftindex: Left indices with better spacing
- iwonamath: LaTeX support for scaled Iwona math fonts
- nicematrix: Improve the typesetting of mathematical matrices with PGF
- proflycee: A LaTeX package for French maths teachers in high school
- lualatex-math: Fixes for mathematics-related LuaLaTeX issues
- upgreek: Upright Greek letters
- autobreak: Simple line breaking of long formulae
- eqnalign: Make eqnarray behave like align
- eqnarray: More generalised equation arrays with numbering