# numbers
12.0 ≡ ⍎"12"    # 1
12.0 ≡ ⍎"12e0"  # 1
12.0 ≡ ⍎"12."   # 1
12.0 ≡ ⍎"12.e0" # 1
12.0 ≡ ⍎"1.2e1" # 1
12.0 ≡ ⍎".12e2" # 1
0.12 ≡ ⍎".12"   # 1
0.0  ≡ ⍎"0"     # 1
0.0  ≡ ⍎"0e¯9"  # 1
0.0  ≡ ⍎"0e0"   # 1
0.0  ≡ ⍎"0e9"   # 1
0.0  ≡ ⍎"0."    # 1
0.0  ≡ ⍎".0"    # 1
(-12.0) ≡ ⍎"¯12"     # 1
(-12.0) ≡ ⍎"¯12.0"   # 1
(-12.0) ≡ ⍎"¯1.2e1"  # 1
(-0.12) ≡ ⍎"¯1.2e¯1" # 1
(-10.0) ≡ ⍎"¯1e1"    # 1
123 ≡ ⍎"12_3" # 1
1.23 ≡ ⍎"1.2_3" # 1
⍎"2e"    # err
⍎"2.e"   # err
⍎"2.0e"  # err
⍎"2e¯"   # err
⍎"2.e¯"  # err
⍎"2.0e¯" # err
⍎"¯"     # err

# characters
⍎"'4'"   # '4'
⍎"'45'"  # err
⍎"'45'  "# err
⍎"'𝕩'"   # err
⍎"'4"    # err
⍎"'"     # err
⍎"𝕒"     # err
⍎¯1↓"𝕩"  # err
⍎1↓"𝕩"   # err

# bigints
(•Big  5) ≡ ⍎ "5L" # 1
(•Big 123456) ≡ ⍎ "123_456L" # 1
(•Big -5) ≡ ⍎"¯5L" # 1
(1+×´10⥊•Big 2*10) ≡ ⍎"1267650600228229401496703205377L" # 1

# strands
⍎"1‿2"    # ⟨1,2⟩
⍎"1‿2‿3"  # ⟨1,2,3⟩
⍎"1‿2‿"   # err
⍎"‿2‿3"   # err
⍎"1‿‿2"   # err
⍎"‿"      # err
⍎"1‿←‿2"  # err
⍎"1‿↩‿2"  # err
⍎"⟨1,‿,2⟩"# err
⍎"⟨1,2,⟩" # ⟨1,2⟩
⍎"⟨,1,2⟩" # ⟨1,2⟩
⍎"⟨1,,2⟩" # ⟨1,2⟩
⍎"+⟜1‿2‿3 40‿50‿60" # ⟨41,52,63⟩

# variables
a←3 ⋄ _A_ # 3
ab←1 ⋄ 1+a_B # 2