diff options
| author | Yip Coekjan <69834864+Coekjan@users.noreply.github.com> | 2024-05-08 00:49:40 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-07 16:49:40 +0000 |
| commit | cf393f97dc221aa325bdbe19e70af7caaef26634 (patch) | |
| tree | 594fccd671d8d42211af032f5b522a61d80a57ae /tests/ref/state-basic.png | |
| parent | cbb01fc81abac53874a8c88648ae7781f7312437 (diff) | |
Rename existing symbols (`≽`, `⋡`, `≼`, `⋠`), add new symbols (`⪰`, `⪲`, `⪯`, `⪱`), remove all `{lt,gt}.curly*` symbols for consistency (#4059)
Diffstat (limited to 'tests/ref/state-basic.png')
0 files changed, 0 insertions, 0 deletions