Keep in mind that autoformatting will add the space.

On Thu, Aug 31, 2017 at 8:54 AM, Marcus Denker <marcus.den...@inria.fr>
wrote:

> yes, some people use
>
> 1halt.
>

+1halt. ;)

Reply via email to