# Tag Info

0

Short addition: For those who like bussproofs for the generated output, but would rather prefer not to use the stack-based syntax, I've written a frontend for bussproofs allowing for the specification of proofs in an easy lisp-like syntax. Within this syntax, you can define custom operators including precedence information (such that the addition of ...

6

The stmaryrd package has these symbols ready to go. If one also needs the double brace, which is not in the stmaryrd package, an alternate solution is offered at Defining scalable "white curly brackets" {| and |} (⦃ and ⦄) Here is the MWE for the double brackets and parens. \documentclass{article} \usepackage{stmaryrd} \usepackage{amssymb} ...

4

You can "concatenate" two square brackets using a negative \mkern: \documentclass{article} \usepackage{mathpazo} \begin{document} $[\mkern-3.5mu[ \cdot ]\mkern-3.5mu] ^ {\mathcal{M}_i,g}$ \end{document}

Top 50 recent answers are included