diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-06-02 17:31:18 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-06-02 17:31:18 -0400 |
| commit | f4ae29e3f08cf06a0490bd9863e7a614116e30ac (patch) | |
| tree | 5d218cd82b53928cbc4378d49a8295a403f1ebc4 /implementation/primitive | |
| parent | 184348fd6bc7f249d1905f6520fbb407a5b4a366 (diff) | |
Support 𝕣 as an ordinary subject special name
Diffstat (limited to 'implementation/primitive')
0 files changed, 0 insertions, 0 deletions