5 lines
65 B
Plaintext
5 lines
65 B
Plaintext
|
# -*- mode: snippet -*-
|
||
|
|
# name: Rarrow
|
||
|
|
# key: \R
|
||
|
|
# --
|
||
|
|
\Rightarrow
|