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

[[
  a -> [[ L> 𝜎-0 ]]
]]