From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-it0-f49.google.com (mail-it0-f49.google.com [209.85.214.49]) by fantadrom.bsd.lv (OpenSMTPD) with ESMTP id 40aa261b for ; Fri, 14 Jul 2017 00:14:23 -0500 (EST) Received: by mail-it0-f49.google.com with SMTP id v202so12077474itb.0 for ; Thu, 13 Jul 2017 22:14:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cathet-us.20150623.gappssmtp.com; s=20150623; h=sender:from:to:subject:mime-version:content-id:date:message-id; bh=j4uK8tRfSMlqQBkHUeDfKiT/odAE6rU8LEsSiM3X5wY=; b=GunS4p2l3yGw9MsaFrPMAxo0JtGm5GYn+YDQxP447PA2LVyqDnJvLxb9VqGy2b/2Ft Y05v7pzFzUxONRzGFm/AafTM4KsMKaQxtXhhX8p7JcgtXevIfc6vK8fsDR/rlC+/xRwp TFdR8kS2TLb2KI+oQwYLnVgWVwp/IZhmNzuS6wxLlen1zj+LCOSF+IHq+WJgRg1n7bVR fQXSOCigSJGEvJoXP+LbVmN+g7fSaKMi3SYqCu/x2aquM6hsNqyoiVd+M5a6qbRIdE3D E/T0kMLqS2D70S3DkpFaPbQCLYJZRNfC4mfG8Vamgj26Idp2fYDNCXqhgQRShLZHuUbh kqQA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:from:to:subject:mime-version:content-id :date:message-id; bh=j4uK8tRfSMlqQBkHUeDfKiT/odAE6rU8LEsSiM3X5wY=; b=eepXRzHgFkWXHLir74jhUQbJgA57UBV3+T7OLK3LJyf/fj6E24O2F9/4m3a5yjGS40 Wd740xhI2lHgHX9qQZKXDbZRneCBE6SEkXnxRF5tCWnJAYjOCL4pqBZr8LAacDnbHn1j J4aC8bBu/8gbeYBb6cbMVlxg/MTc3fJsQVEIgX3vpfN/DdlfUeyxvs9j44j/K8NW2XDD flHPGAs33OlEAzWmYo5O/iVaQaYFLBLM2hUPZCo22xZLrbSvtgk6mmz/KMt9Oebgex0I Mh8gZl2CIgiyIIDFCk673bBfROgmPU/cBwKnZrTL+2U0CQb/dfPbCN3/FawsoFqnLN5h kjWQ== X-Gm-Message-State: AIVw111KHkZid0XqX/B1PAVilExfL8j8+gfMM2632TvE33NB9Ct5UH9s 66KrCuu9cMi/R/HviAWrFw== X-Received: by 10.36.163.137 with SMTP id p131mr2087508ite.85.1500009262020; Thu, 13 Jul 2017 22:14:22 -0700 (PDT) Received: from cathet.us. (75-161-120-32.albq.qwest.net. [75.161.120.32]) by smtp.gmail.com with ESMTPSA id q62sm4071227iof.57.2017.07.13.22.14.21 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 13 Jul 2017 22:14:21 -0700 (PDT) Sender: "Anthony J. Bentley" Received: from cathet.us (localhost [127.0.0.1]) by cathet.us. (OpenSMTPD) with ESMTP id 7c16dae3 for ; Thu, 13 Jul 2017 23:14:20 -0600 (MDT) From: "Anthony J. Bentley" To: tech@mandoc.bsd.lv Subject: eqn(7): Primes, opprime, and ' X-Mailinglist: mandoc-tech Reply-To: tech@mandoc.bsd.lv MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-ID: <46120.1500009260.1@cathet.us> Date: Thu, 13 Jul 2017 23:14:20 -0600 Message-ID: <18793.1500009260@cathet.us> Hi, https://www.w3.org/TR/MathML3/chapter7.html#chars.pseudo-scripts says: "...the preferred encoding of 'x prime' is x′ and not x' or any other variants not using an explicit script construct." Superscripting primes this way is common in typesetting. In TeX, ' is equivalent to ^{\prime}: https://tex.stackexchange.com/questions/87134/ The OpenGL manuals typically use "sup prime", as in gluProject(3): v sup prime ~=~ P ~times~ M ~times~ v GNU eqn(1) has the opprime keyword: e opprime This is a variant of prime that acts as an operator on e. It produces a different result from prime in a case such as A opprime sub 1: with opprime the 1 is tucked under the prime as a subscript to the A (as is conventional in mathematical typesetting), whereas with prime the 1 is a subscript to the prime character. The precedence of opprime is the same as that of bar and under, which is higher than that of everything except accent and uaccent. In unquoted text a ' that is not the first character is treated like opprime. So it appears that in groff(1) ' and opprime are equivalent to (essentially) sup prime. It's, um, hard to grep manuals for this usage, but I can believe that people would use ' this way, both because it's documented in groff and because they would expect it to work as TeX. So mandoc(1) having opprime, and ' equivalent to opprime, would be nice. -- Anthony J. Bentley -- To unsubscribe send an email to tech+unsubscribe@mandoc.bsd.lv