texlive-math-extra binary package in Ubuntu Xenial amd64

 This package includes the following CTAN packages:
 .
 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.
 .
 delim -- Simplify typesetting mathematical delimiters.
 .
 delimseasy -- Delimiter commands that are easy to use and resize
 .
 drawmatrix -- Draw visual representations of matrices in LaTeX
 .
 ebproof -- Formal proofs in the style of sequent calculus.
 .
 econometrics -- defines some commands that simplify mathematic notation in
 economic and econometric writing
 .
 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.
 .
 mathpartir -- Typesetting sequences of math formulas, e.g. type inference
 rules
 .
 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
 .
 prooftrees -- Forest-based proof trees (symbolic logic)
 .
 proba -- Shortcuts commands to symbols used in probability texts.
 .
 rec-thy -- Commands to typeset recursion theory papers.
 .
 ribbonproofs -- Drawing ribbon proofs.
 .
 rmathbr -- Repeating of math operator at the broken line and the new line in
 inline equations
 .
 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.

Source package