summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
e5513d5)
The symbols 'identical to' (≡) and 'not identical to' (≢) have been added.
005f 2296 // _ -> ⊖ circled minus\r
003d 225d // = -> ≝ equal to by definition\r
002b 2295 // + -> ⊕ exclusive or\r
005f 2296 // _ -> ⊖ circled minus\r
003d 225d // = -> ≝ equal to by definition\r
002b 2295 // + -> ⊕ exclusive or\r
+00d7 2261 // × -> ≡ identical to\r
+00f7 2262 // ÷ -> ≢ not identical to\r
003b 2235 // ; -> ∵ because sign\r
003a 2234 // : -> ∴ therefore sign\r
0027 2032 // ' -> ′ prime\r
003b 2235 // ; -> ∵ because sign\r
003a 2234 // : -> ∴ therefore sign\r
0027 2032 // ' -> ′ prime\r
005f 2296 // _ -> ⊖ circled minus\r
003d 225d // = -> ≝ equal to by definition\r
002b 2295 // + -> ⊕ exclusive or\r
005f 2296 // _ -> ⊖ circled minus\r
003d 225d // = -> ≝ equal to by definition\r
002b 2295 // + -> ⊕ exclusive or\r
+00d7 2261 // × -> ≡ identical to\r
+00f7 2262 // ÷ -> ≢ not identical to\r
003b 2235 // ; -> ∵ because sign\r
003a 2234 // : -> ∴ therefore sign\r
0027 2032 // ' -> ′ prime\r
003b 2235 // ; -> ∵ because sign\r
003a 2234 // : -> ∴ therefore sign\r
0027 2032 // ' -> ′ prime\r