math.keys: add end of proof character