spelling
952 tests across 119 atoms.
58 ruled 894 no data
| Atom | Tests | Differ | Ruled | Fixed | |
|---|---|---|---|---|---|
| spelling/infix-X ({A}) X ({B}) · {A} X {B} · {A}X{B} | 8 | · | · | · | |
| spelling/infix-Z ({A}) Z ({B}) · {A} Z {B} · {A}Z{B} | 8 | · | · | · | |
| spelling/infix-after ({A}) after ({B}) · {A} after {B} · {A}after{B} | 8 | · | · | · | |
| spelling/infix-and ({A}) and ({B}) · {A} and {B} · {A}and{B} | 8 | · | · | · | |
| spelling/infix-andthen ({A}) andthen ({B}) · {A} andthen {B} · {A}andthen{B} | 8 | · | · | · | |
| spelling/infix-assign ({A}) = ({B}) · {A} = {B} · {A}={B} | 8 | · | · | · | |
| spelling/infix-before ({A}) before ({B}) · {A} before {B} · {A}before{B} | 8 | · | · | · | |
| spelling/infix-bind ({A}) := ({B}) · {A} := {B} · {A}:={B} | 8 | · | · | · | |
| spelling/infix-bit-and ({A}) +& ({B}) · {A} +& {B} · {A}+&{B} | 8 | · | · | · | |
| spelling/infix-bit-or ({A}) +| ({B}) · {A} +| {B} · {A}+|{B} | 8 | · | · | · | |
| spelling/infix-bit-xor ({A}) +^ ({B}) · {A} +^ {B} · {A}+^{B} | 8 | · | · | · | |
| spelling/infix-but ({A}) but ({B}) · {A} but {B} · {A}but{B} | 8 | · | · | · | |
| spelling/infix-cmp ({A}) cmp ({B}) · {A} cmp {B} · {A}cmp{B} | 8 | · | · | · | |
| spelling/infix-coll ({A}) coll ({B}) · {A} coll {B} · {A}coll{B} | 8 | · | · | · | |
| spelling/infix-concat ({A}) ~ ({B}) · {A} ~ {B} · {A}~{B} | 8 | · | · | · | |
| spelling/infix-defined-or ({A}) // ({B}) · {A} // {B} · {A}//{B} | 8 | · | · | · | |
| spelling/infix-div ({A}) div ({B}) · {A} div {B} · {A}div{B} | 8 | · | · | · | |
| spelling/infix-divide ({A}) / ({B}) · {A} / {B} · {A}/{B} | 8 | · | · | · | |
| spelling/infix-does ({A}) does ({B}) · {A} does {B} · {A}does{B} | 8 | · | · | · | |
| spelling/infix-eqv ({A}) eqv ({B}) · {A} eqv {B} · {A}eqv{B} | 8 | · | · | · | |
| spelling/infix-fatarrow ({A}) => ({B}) · {A} => {B} · {A}=>{B} | 8 | · | · | · | |
| spelling/infix-ff ({A}) ff ({B}) · {A} ff {B} · {A}ff{B} | 8 | · | · | · | |
| spelling/infix-fff ({A}) fff ({B}) · {A} fff {B} · {A}fff{B} | 8 | · | · | · | |
| spelling/infix-fffu5e ({A}) fff^ ({B}) · {A} fff^ {B} · {A}fff^{B} | 8 | · | · | · | |
| spelling/infix-ffu5e ({A}) ff^ ({B}) · {A} ff^ {B} · {A}ff^{B} | 8 | · | · | · | |
| spelling/infix-gcd ({A}) gcd ({B}) · {A} gcd {B} · {A}gcd{B} | 8 | · | · | · | |
| spelling/infix-ge ({A}) >= ({B}) · {A} >= {B} · {A}>={B} | 8 | · | · | · | |
| spelling/infix-gt ({A}) > ({B}) · {A} > {B} · {A}>{B} | 8 | · | · | · | |
| spelling/infix-lcm ({A}) lcm ({B}) · {A} lcm {B} · {A}lcm{B} | 8 | · | · | · | |
| spelling/infix-le ({A}) <= ({B}) · {A} <= {B} · {A}<={B} | 8 | · | · | · | |
| spelling/infix-leg ({A}) leg ({B}) · {A} leg {B} · {A}leg{B} | 8 | · | · | · | |
| spelling/infix-lt ({A}) < ({B}) · {A} < {B} · {A}<{B} | 8 | · | · | · | |
| spelling/infix-max ({A}) max ({B}) · {A} max {B} · {A}max{B} | 8 | · | · | · | |
| spelling/infix-min ({A}) min ({B}) · {A} min {B} · {A}min{B} | 8 | · | · | · | |
| spelling/infix-minmax ({A}) minmax ({B}) · {A} minmax {B} · {A}minmax{B} | 8 | · | · | · | |
| spelling/infix-minus ({A}) - ({B}) · {A} - {B} · {A}-{B} | 8 | · | · | · | |
| spelling/infix-mod ({A}) mod ({B}) · {A} mod {B} · {A}mod{B} | 8 | · | · | · | |
| spelling/infix-modulo ({A}) % ({B}) · {A} % {B} · {A}%{B} | 8 | · | · | · | |
| spelling/infix-not ({A}) ! ({B}) · {A} ! {B} · {A}!{B} | 8 | · | · | · | |
| spelling/infix-notandthen ({A}) notandthen ({B}) · {A} notandthen {B} · {A}notandthen{B} | 8 | · | · | · | |
| spelling/infix-num-cmp ({A}) <=> ({B}) · {A} <=> {B} · {A}<=>{B} | 8 | · | · | · | |
| spelling/infix-num-eq ({A}) == ({B}) · {A} == {B} · {A}=={B} | 8 | · | · | · | |
| spelling/infix-num-ne ({A}) != ({B}) · {A} != {B} · {A}!={B} | 8 | · | · | · | |
| spelling/infix-o ({A}) o ({B}) · {A} o {B} · {A}o{B} | 8 | · | 4 | · | |
| spelling/infix-or ({A}) or ({B}) · {A} or {B} · {A}or{B} | 8 | · | · | · | |
| spelling/infix-orelse ({A}) orelse ({B}) · {A} orelse {B} · {A}orelse{B} | 8 | · | · | · | |
| spelling/infix-plus ({A}) + ({B}) · {A} + {B} · {A}+{B} | 8 | · | · | · | |
| spelling/infix-power ({A}) ** ({B}) · {A} ** {B} · {A}**{B} | 8 | · | · | · | |
| spelling/infix-range ({A}) .. ({B}) · {A} .. {B} · {A}..{B} | 8 | · | · | · | |
| spelling/infix-range-excl-both ({A}) ^..^ ({B}) · {A} ^..^ {B} · {A}^..^{B} | 8 | · | · | · | |
| spelling/infix-range-excl-hi ({A}) ..^ ({B}) · {A} ..^ {B} · {A}..^{B} | 8 | · | · | · | |
| spelling/infix-range-excl-lo ({A}) ^.. ({B}) · {A} ^.. {B} · {A}^..{B} | 8 | · | · | · | |
| spelling/infix-repeat ({A}) x ({B}) · {A} x {B} · {A}x{B} | 8 | · | · | · | |
| spelling/infix-shift-left ({A}) +< ({B}) · {A} +< {B} · {A}+<{B} | 8 | · | · | · | |
| spelling/infix-shift-right ({A}) +> ({B}) · {A} +> {B} · {A}+>{B} | 8 | · | · | · | |
| spelling/infix-smartmatch ({A}) ~~ ({B}) · {A} ~~ {B} · {A}~~{B} | 8 | · | · | · | |
| spelling/infix-str-eq ({A}) eq ({B}) · {A} eq {B} · {A}eq{B} | 8 | · | · | · | |
| spelling/infix-str-ge ({A}) ge ({B}) · {A} ge {B} · {A}ge{B} | 8 | · | · | · | |
| spelling/infix-str-gt ({A}) gt ({B}) · {A} gt {B} · {A}gt{B} | 8 | · | · | · | |
| spelling/infix-str-le ({A}) le ({B}) · {A} le {B} · {A}le{B} | 8 | · | · | · | |
| spelling/infix-str-lt ({A}) lt ({B}) · {A} lt {B} · {A}lt{B} | 8 | · | · | · | |
| spelling/infix-str-ne ({A}) ne ({B}) · {A} ne {B} · {A}ne{B} | 8 | · | · | · | |
| spelling/infix-times ({A}) * ({B}) · {A} * {B} · {A}*{B} | 8 | · | · | · | |
| spelling/infix-u2208 ({A}) ∈ ({B}) · {A} ∈ {B} · {A}∈{B} | 8 | · | · | · | |
| spelling/infix-u2209 ({A}) ∉ ({B}) · {A} ∉ {B} · {A}∉{B} | 8 | · | · | · | |
| spelling/infix-u220b ({A}) ∋ ({B}) · {A} ∋ {B} · {A}∋{B} | 8 | · | · | · | |
| spelling/infix-u220c ({A}) ∌ ({B}) · {A} ∌ {B} · {A}∌{B} | 8 | · | · | · | |
| spelling/infix-u2216 ({A}) ∖ ({B}) · {A} ∖ {B} · {A}∖{B} | 8 | · | 8 | · | |
| spelling/infix-u2218 ({A}) ∘ ({B}) · {A} ∘ {B} · {A}∘{B} | 8 | · | 6 | · | |
| spelling/infix-u2229 ({A}) ∩ ({B}) · {A} ∩ {B} · {A}∩{B} | 8 | · | 8 | · | |
| spelling/infix-u222a ({A}) ∪ ({B}) · {A} ∪ {B} · {A}∪{B} | 8 | · | 8 | · | |
| spelling/infix-u2245 ({A}) ≅ ({B}) · {A} ≅ {B} · {A}≅{B} | 8 | · | · | · | |
| spelling/infix-u2260 ({A}) ≠ ({B}) · {A} ≠ {B} · {A}≠{B} | 8 | · | · | · | |
| spelling/infix-u2261 ({A}) ≡ ({B}) · {A} ≡ {B} · {A}≡{B} | 8 | · | · | · | |
| spelling/infix-u2262 ({A}) ≢ ({B}) · {A} ≢ {B} · {A}≢{B} | 8 | · | · | · | |
| spelling/infix-u2264 ({A}) ≤ ({B}) · {A} ≤ {B} · {A}≤{B} | 8 | · | · | · | |
| spelling/infix-u2265 ({A}) ≥ ({B}) · {A} ≥ {B} · {A}≥{B} | 8 | · | · | · | |
| spelling/infix-u227c ({A}) ≼ ({B}) · {A} ≼ {B} · {A}≼{B} | 8 | · | · | · | |
| spelling/infix-u227d ({A}) ≽ ({B}) · {A} ≽ {B} · {A}≽{B} | 8 | · | · | · | |
| spelling/infix-u2282 ({A}) ⊂ ({B}) · {A} ⊂ {B} · {A}⊂{B} | 8 | · | · | · | |
| spelling/infix-u2283 ({A}) ⊃ ({B}) · {A} ⊃ {B} · {A}⊃{B} | 8 | · | · | · | |
| spelling/infix-u2284 ({A}) ⊄ ({B}) · {A} ⊄ {B} · {A}⊄{B} | 8 | · | · | · | |
| spelling/infix-u2285 ({A}) ⊅ ({B}) · {A} ⊅ {B} · {A}⊅{B} | 8 | · | · | · | |
| spelling/infix-u2286 ({A}) ⊆ ({B}) · {A} ⊆ {B} · {A}⊆{B} | 8 | · | · | · | |
| spelling/infix-u2287 ({A}) ⊇ ({B}) · {A} ⊇ {B} · {A}⊇{B} | 8 | · | · | · | |
| spelling/infix-u2288 ({A}) ⊈ ({B}) · {A} ⊈ {B} · {A}⊈{B} | 8 | · | · | · | |
| spelling/infix-u2289 ({A}) ⊉ ({B}) · {A} ⊉ {B} · {A}⊉{B} | 8 | · | · | · | |
| spelling/infix-u228d ({A}) ⊍ ({B}) · {A} ⊍ {B} · {A}⊍{B} | 8 | · | 8 | · | |
| spelling/infix-u228e ({A}) ⊎ ({B}) · {A} ⊎ {B} · {A}⊎{B} | 8 | · | 8 | · | |
| spelling/infix-u2296 ({A}) ⊖ ({B}) · {A} ⊖ {B} · {A}⊖{B} | 8 | · | 8 | · | |
| spelling/infix-u25u25 ({A}) %% ({B}) · {A} %% {B} · {A}%%{B} | 8 | · | · | · | |
| spelling/infix-u26 ({A}) & ({B}) · {A} & {B} · {A}&{B} | 8 | · | · | · | |
| spelling/infix-u2a75 ({A}) ⩵ ({B}) · {A} ⩵ {B} · {A}⩵{B} | 8 | · | · | · | |
| spelling/infix-u2a76 ({A}) ⩶ ({B}) · {A} ⩶ {B} · {A}⩶{B} | 8 | · | · | · | |
| spelling/infix-u2e ({A}) . ({B}) · {A} . {B} · {A}.{B} | 8 | · | · | · | |
| spelling/infix-u2eu3d ({A}) .= ({B}) · {A} .= {B} · {A}.={B} | 8 | · | · | · | |
| spelling/infix-u3a ({A}) : ({B}) · {A} : {B} · {A}:{B} | 8 | · | · | · | |
| spelling/infix-u3au3au3d ({A}) ::= ({B}) · {A} ::= {B} · {A}::={B} | 8 | · | · | · | |
| spelling/infix-u3cu3du3d ({A}) <== ({B}) · {A} <== {B} · {A}<=={B} | 8 | · | · | · | |
| spelling/infix-u3du3au3d ({A}) =:= ({B}) · {A} =:= {B} · {A}=:={B} | 8 | · | · | · | |
| spelling/infix-u3du3du3d ({A}) === ({B}) · {A} === {B} · {A}==={B} | 8 | · | · | · | |
| spelling/infix-u3du3du3e ({A}) ==> ({B}) · {A} ==> {B} · {A}==>{B} | 8 | · | · | · | |
| spelling/infix-u3du7eu3d ({A}) =~= ({B}) · {A} =~= {B} · {A}=~={B} | 8 | · | · | · | |
| spelling/infix-u3fu26 ({A}) ?& ({B}) · {A} ?& {B} · {A}?&{B} | 8 | · | · | · | |
| spelling/infix-u3fu5e ({A}) ?^ ({B}) · {A} ?^ {B} · {A}?^{B} | 8 | · | · | · | |
| spelling/infix-u3fu7c ({A}) ?| ({B}) · {A} ?| {B} · {A}?|{B} | 8 | · | · | · | |
| spelling/infix-u5e ({A}) ^ ({B}) · {A} ^ {B} · {A}^{B} | 8 | · | · | · | |
| spelling/infix-u5eff ({A}) ^ff ({B}) · {A} ^ff {B} · {A}^ff{B} | 8 | · | · | · | |
| spelling/infix-u5efff ({A}) ^fff ({B}) · {A} ^fff {B} · {A}^fff{B} | 8 | · | · | · | |
| spelling/infix-u5efffu5e ({A}) ^fff^ ({B}) · {A} ^fff^ {B} · {A}^fff^{B} | 8 | · | · | · | |
| spelling/infix-u5effu5e ({A}) ^ff^ ({B}) · {A} ^ff^ {B} · {A}^ff^{B} | 8 | · | · | · | |
| spelling/infix-u7c ({A}) | ({B}) · {A} | {B} · {A}|{B} | 8 | · | · | · | |
| spelling/infix-u7eu26 ({A}) ~& ({B}) · {A} ~& {B} · {A}~&{B} | 8 | · | · | · | |
| spelling/infix-u7eu3c ({A}) ~< ({B}) · {A} ~< {B} · {A}~<{B} | 8 | · | · | · | |
| spelling/infix-u7eu3e ({A}) ~> ({B}) · {A} ~> {B} · {A}~>{B} | 8 | · | · | · | |
| spelling/infix-u7eu5e ({A}) ~^ ({B}) · {A} ~^ {B} · {A}~^{B} | 8 | · | · | · | |
| spelling/infix-u7eu7c ({A}) ~| ({B}) · {A} ~| {B} · {A}~|{B} | 8 | · | · | · | |
| spelling/infix-unicmp ({A}) unicmp ({B}) · {A} unicmp {B} · {A}unicmp{B} | 8 | · | · | · | |
| spelling/infix-xor ({A}) xor ({B}) · {A} xor {B} · {A}xor{B} | 8 | · | · | · |