Editing Meta:How to contribute (section)

=== Special mathematical features ===

==== Commutative diagrams ====

Commutative diagrams can be produced with <code><nowiki>{{Diagram|...}}</nowiki></code>, with [https://redgregory.notion.site/Diagrams-With-KaTeX-9166ebfa650a463dbdf67357143ebaed KaTeX's diagram syntax].

==== Proof trees ====

Proof trees can be produced in an [https://ctan.org/pkg/ebproof ebproof]-like syntax thanks to [[Template:Proof tree]]. The following example:
<pre>
{{Proof tree
| hypo \vdash F
| infer 1 \vdash G
| hypo \vdash H
| infer 2 style:(double) label:(R) \vdash G \oplus H 
}}
</pre>
produces the following result:
{{Proof tree
| hypo \vdash F
| infer 1 \vdash G
| hypo \vdash H
| infer 2 style:(double) label:(R) \vdash G \oplus H 
}}

This is an experimental feature: please [[Meta:Bugs|report bugs]] and [[Meta:Feature requests|request enhancements]]!