<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">When mathematicians use such notations, they are communicating informally and they can count on the reader to understand what they mean. But that’s not how it works for us. Any notation that could be misinterpreted should be input only (assuming we support it at all). That way, the user immediately sees how it was interpreted.<br class=""><div class="">
<span class="Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: 11px; font-variant-ligatures: normal; font-variant-position: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; line-height: normal; border-spacing: 0px;"><div class="">Larry</div></span>
</div>
<br class=""><div><blockquote type="cite" class=""><div class="">On 13 Sep 2016, at 11:27, Manuel Eberl <<a href="mailto:eberlm@in.tum.de" class="">eberlm@in.tum.de</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><p style="font-family: LucidaGrande; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255);" class=""><font size="+1" class="">The desired multi-variable semantics of ∄ seem obvious enough to me and I think that this should be allowed.</font></p><p style="font-family: LucidaGrande; font-size: 13px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255);" class=""><font size="+1" class="">For ∃!, the implicit complexity introduced by the pairing seems too much to me, so I think this should be forbidden.<br class=""></font></p><br class="Apple-interchange-newline"></div></blockquote></div><br class=""></body></html>