12many Generalising mathematical index sets.
amstex American Mathematical Society plain TeX macros.
backnaur Typeset Backus Naur Form definitions.
begriff Typeset Begriffschrift.
binomexp Calculate Pascal's triangle.
boldtensors Bold latin and greek characters through simple prefix characters.
bosisio A collection of packages by Francesco Bosisio.
bropd Simplified brackets and differentials in LaTeX.
calculation Typesetting reasoned calculations, also called calculational proofs.
ccfonts Support for Concrete text and math fonts in LaTeX.
commath Mathematics typesetting support.
concmath Concrete Math fonts.
concrete Concrete Roman fonts.
conteq Typeset multiline continued equalities.
ebproof Formal proofs in the style of sequent calculus.
eqnarray More generalised equation arrays with numbering.
extarrows Extra Arrows beyond those provided in AMSmath
extpfeil Extensible arrows in mathematics.
faktor Typeset quotient structures with LaTeX.
grundgesetze Typeset Frege's Grundgesetze der Arithmetik
interval Format mathematical intervals, ensuring proper spacing.
ionumbers Restyle numbers in maths mode.
isomath Mathematics style for science and technology.
logicproof Box proofs for propositional and predicate logic.
lpform Typesetting linear programming formulations and sets of equations
lplfitch Fitch-style natural deduction proofs.
mathcomp Text symbols in maths mode.
mattens Matrices/tensor typesetting.
mhequ Multicolumn equations, tags, labels, sub-numbering.
multiobjective Symbols for multiobjective optimisation etc.
natded Typeset natural deduction proofs.
nath Natural mathematics notation.
ot-tableau Optimality Theory tableaux in LaTeX.
oubraces Braces over and under a formula.
perfectcut Brackets whose size adjusts to the nesting.
prftree Macros for building proof trees.
proba Shortcuts commands to symbols used in probability texts.
rec-thy Commands to typeset recursion theory papers.
ribbonproofs Drawing ribbon proofs.
sesamanuel Class and package for sesamath books or paper
shuffle A symbol for the shuffle product.
skmath Extensions to the maths command repertoir.
statex Statistics style.
statex2 Statistics style.
stmaryrd St Mary Road symbols for theoretical computer science.
subsupscripts A range of sub- and superscript commands.
susy Macros for SuperSymmetry-related work.
syllogism Typeset syllogisms in LaTeX.
sympytexpackage 
synproof Easy drawing of syntactic proofs.
tablor Create tables of signs and of variations.
tensor Typeset tensors.
tex-ewd Macros to typeset calculational proofs and programs in Dijkstra's style.
thmbox Decorate theorem statements.
turnstile Typeset the (logic) turnstile notation.
unicode-math Unicode mathematics support for XeTeX and LuaTeX.
venn Creating Venn diagrams with MetaPost.
yhmath Extended maths fonts for LaTeX.
ytableau Many-featured Young tableaux and Young diagrams.
