The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

On 04/11/2015 21:36, Cedric Auger wrote:
> ​No, but maybe that using other symbols than "(,)", like "⦅,⦆​" or
> playing with notation levels and/or scopes.

I think you can hack with Unicode: the following seems to work for me,
where "␣" stands for a zero-width space (U+200B).

Notation "f ␣( x )" := (f x)
  (at level 1, left associativity, format "f ␣( x )").

PMP

Attachment: signature.asc
Description: OpenPGP digital signature