Commit 6e498da

authored and

committed

[basic] Replace \term with \defnx as appropriate (#1061)

Partially addresses #329.

1 parent 7d68bf4 commit 6e498daCopy full SHA for 6e498da

1 file changed

+84

-112

lines changed

source
- basic.tex

1 file changed

+84

-112

lines changed

Comments

(0)