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

[[
  a -> [[ L> 𝜎00 ]]
]]