diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-21 16:13:18 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-21 20:24:20 -0500 |
| commit | 0000f894faae0daf7a3ee362abc9054697b513e4 (patch) | |
| tree | f560ed51d1d00ccc91862312d11e421e99bcfde7 /docs/doc/extensions.html | |
| parent | 8f65897a240e567b6bf09f440b7748a59d03bad6 (diff) | |
Fill support for ⌜ and ¨ when 𝔽 is monadic =≠≡≢ even if the argument has no fill
Diffstat (limited to 'docs/doc/extensions.html')
0 files changed, 0 insertions, 0 deletions