From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_40 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: Paul Rubin Newsgroups: comp.lang.ada Subject: Re: What is the name of the | symbol? Date: Fri, 25 Mar 2022 21:24:32 -0700 Organization: A noiseless patient Spider Message-ID: <878rsxgx33.fsf@nightsong.com> References: <8c89d912-0672-4e86-b4f3-7893ef0e7183n@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="1ea7b7f8c52c95fff041b476089e2220"; logging-data="16767"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/eXIj2fszdadn+TW1vmL94" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) Cancel-Lock: sha1:VM2921i1DyNwPa2u6c5GAnN0AOw= sha1:Sv5O+JiStwf6U6DhuKOEIRQz9FM= Xref: reader02.eternal-september.org comp.lang.ada:63654 List-Id: Niklas Holsti writes: > For the name, see https://en.wikipedia.org/wiki/Vertical_bar The Unicode name is U+007C VERTICAL LINE, alias name vertical bar. / is U+002F SOLIDUS, alias names slash and virgule. I haven't heard of the name "solidus" used for symbols other than /.