HaloO,

I wrote:
2) We have A&B and the A B juxtaposition to mean $_ ~~ A && $_ ~~ B
   which is an intersection (sub)type of A and B.


Is the A&B form a legal alternative for the juxtaposition?
--

Reply via email to