phino-0.0.152: test-resources/phi-typos-packs/symbol-numbered-negative.phi

[[
  a -> [[ L> 𝜎-3 ]]
]]