File: proof.cwl

package info (click to toggle)
texstudio 4.8.7%2Bds-1
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 108,288 kB
  • sloc: cpp: 108,337; xml: 18,660; ansic: 8,977; javascript: 177; sh: 147; python: 73; makefile: 53
file content (10 lines) | stat: -rw-r--r-- 518 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
 
# SantiagoBautista 2020/02/20
# For version v3.1 of package lkproof (proof.sty)
\deduce{conclusions%formula}{premises%formula}
\deduce[label%formula]{conclusions%formula}{premises%formula}
\infer{conclusions%formula}{premises%formula}
\infer[label%formula]{conclusions%formula}{premises%formula}
\infer*{conclusions%formula}{premises%formula}
\infer*[label%formula]{conclusions%formula}{premises%formula}
\infer={conclusions%formula}{premises%formula}#*
\infer=[label%formula]{conclusions%formula}{premises%formula}#*