calc? emits weird dagger characters

[FawadHa1der]

'import Mathlib.Tactic.Widget.Calc

example : ∀ n : Nat, n + 0 = n := by
intro _
calc?'

Output: calc n✝ + 0 = n✝ := by sorry —