leanprover-community/NNG4

Pow.pow doesn't render infix

Closed this issue · 1 comments

danielzgtg commented

The missing rendering support from Pow.pow to ^ makes things hard to read.

Expected Behavior

Goal:
0 ^ 0 = 1

Actual Behavior

Pow.pow 0 0 = 1

joneugster commented

Thanks! Should be fixed once the next version is uploaded.

  • ❤️1