diff options
author | V. Guruprasad <prasad@inspiredresearch.com> | 2021-03-08 16:22:00 -0500 |
---|---|---|
committer | V. Guruprasad <prasad@inspiredresearch.com> | 2021-03-08 16:22:00 -0500 |
commit | 860f1b443a9c377ff3b262bc06c57e31e55a6434 (patch) | |
tree | 49977ce7bffda614e3ea47d751a7782762307e56 /src/doc | |
parent | 69fa1e9f4e76ae5f0a2fc135ce5002e2606ed45f (diff) |
duplicate entry \therefore
Diffstat (limited to 'src/doc')
-rwxr-xr-x | src/doc | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1079,9 +1079,9 @@ Commands for handling cell content: Ctrl-K 0 0 = ∞ Ctrl-K - L = ∟ Ctrl-K - V = ∠ Ctrl-K P P = ∥ Ctrl-K A N = ∧ Ctrl-K O R = ∨ Ctrl-K ) U = ∪ Ctrl-K ( U = ∩ Ctrl-K ) C = ⊃ Ctrl-K ( C = ⊂ Ctrl-K ) _ = ⊇ Ctrl-K ( _ = ⊆ - Ctrl-K . : = ∴ Ctrl-K . : = ∴ Ctrl-K : . = ∵ Ctrl-K ? - = ≃ - Ctrl-K ! = = ≠ Ctrl-K = 3 = ≡ Ctrl-K = < = ≤ Ctrl-K > = = ≥ - Ctrl-K < * = ≪ Ctrl-K > * = ≫ Ctrl-K ! < = ≮ Ctrl-K ! > = ≯ + Ctrl-K . : = ∴ Ctrl-K : . = ∵ Ctrl-K ? - = ≃ Ctrl-K ! = = ≠ + Ctrl-K = 3 = ≡ Ctrl-K = < = ≤ Ctrl-K > = = ≥ Ctrl-K < * = ≪ + Ctrl-K > * = ≫ Ctrl-K ! < = ≮ Ctrl-K ! > = ≯ Note: It is possible to enter these characters also in the command mode, but your OS may not support filenames containing them. |