diff options
| author | 2026-01-02 10:38:58 +0330 | |
|---|---|---|
| committer | 2026-01-02 10:38:58 +0330 | |
| commit | bfe03b6d652ee8de67372fe8ea9571856a3277e2 (patch) | |
| tree | 6b6fe984aa55ad1ea7147ecace6df1f194a713d7 /symbols.txt | |
| parent | makefile (diff) | |
typeof axiom
Diffstat (limited to 'symbols.txt')
| -rw-r--r-- | symbols.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/symbols.txt b/symbols.txt index 8e8c315..e016271 100644 --- a/symbols.txt +++ b/symbols.txt @@ -34,4 +34,5 @@ i i ≈ almost ⚛ atom H aH -He aHe
\ No newline at end of file +He aHe +⋿ type
\ No newline at end of file |
