https://github.com/dedbox/racket-texmath
Pseudo-(La)TeX mathematical notation for Racket Scribble docs
https://github.com/dedbox/racket-texmath
Last synced: 5 months ago
JSON representation
Pseudo-(La)TeX mathematical notation for Racket Scribble docs
- Host: GitHub
- URL: https://github.com/dedbox/racket-texmath
- Owner: dedbox
- License: apache-2.0
- Created: 2018-02-26T22:06:54.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2019-06-28T01:00:24.000Z (about 7 years ago)
- Last Synced: 2025-01-30T11:44:07.804Z (over 1 year ago)
- Language: Racket
- Homepage: https://pkgd.racket-lang.org/pkgn/package/TeXmath
- Size: 105 KB
- Stars: 3
- Watchers: 3
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Mathematical notation for Scribble docs
TeXmath is a Racket library for typesetting mathematics in a LaTeX-like syntax.
## Example
Logical judgments as rules of inference
```
#lang scribble/base
@(require texmath)
@inferrule[
@${e_1 ↝ e_1'}
---------------------- "E-App1"
@${e_1 e_2 ↝ e_1' e_2}
]
@inferrule[
--------------------------------------- "E-AppAbs"
@${(λx_11.e_12) v_2 ↝ [x_11↦{}v_2]e_12}
]
@inferrule[
@${x \fresh}
---------------------------- "E-Def"
@${Σ ⊢ x←v ↝ [x{}↦{}v]Σ ⊢ Ø}
]
@inferrule[
@${Σ(x) = v}
---------------------
@${Σ,Γ ⊢ x ↝ Σ,Γ ⊢ v}
]
@inferrule[
@${\{x:T\} ∈ Γ}
--------------- "T-Var"
@${<Γ;x>:T}
]
```
