8 lines
130 B
Plaintext
8 lines
130 B
Plaintext
# -*- mode: snippet -*-
|
|
# key: Nota
|
|
# group: misc
|
|
# name: Notation
|
|
# --
|
|
Notation "$1" := ($2) (at level $3, $4 associativity).
|
|
$0
|