[std] Redefine \logop to small caps and fix all uses

Author: jensmaurer

source/basic.tex

@@ -5964,8 +5964,8 @@
 $B$ is an invocation of any specialization of
 \tcode{std::kill_dependency}\iref{atomics.order}, or
 \item
-$A$ is the left operand of a built-in logical \logop{AND} (\tcode{\&\&},
-see~\ref{expr.log.and}) or logical \logop{OR} (\tcode{||}, see~\ref{expr.log.or})
+$A$ is the left operand of a built-in logical \logop{and} (\tcode{\&\&},
+see~\ref{expr.log.and}) or logical \logop{or} (\tcode{||}, see~\ref{expr.log.or})
 operator, or
 \item
 $A$ is the left operand of a conditional (\tcode{?:}, see~\ref{expr.cond})

source/expressions.tex

@@ -6705,7 +6705,7 @@
 of the base-2 representation of the result \tcode{r}
 is 1 if both $\tcode{x}_i$ and $\tcode{y}_i$ are 1, and 0 otherwise.
 \begin{note}
-The result is the bitwise \logop{AND} function of the operands.
+The result is the bitwise \logop{and} function of the operands.
 \end{note}
 
 \rSec2[expr.xor]{Bitwise exclusive OR operator}%
@@ -6731,7 +6731,7 @@
 is 1 if either (but not both) of $\tcode{x}_i$ and $\tcode{y}_i$ is 1,
 and 0 otherwise.
 \begin{note}
-The result is the bitwise exclusive \logop{OR} function of the operands.
+The result is the bitwise exclusive \logop{or} function of the operands.
 \end{note}
 
 \rSec2[expr.or]{Bitwise inclusive OR operator}%
@@ -6756,7 +6756,7 @@
 of the base-2 representation of the result \tcode{r}
 is 1 if at least one of $\tcode{x}_i$ and $\tcode{y}_i$ is 1, and 0 otherwise.
 \begin{note}
-The result is the bitwise inclusive \logop{OR} function of the operands.
+The result is the bitwise inclusive \logop{or} function of the operands.
 \end{note}
 
 \rSec2[expr.log.and]{Logical AND operator}%

source/iostreams.tex

@@ -15365,10 +15365,10 @@
   \tcode{permissions} shall replace the file's permission bits with \tcode{perm} \\ \rowsep
 \tcode{add} &
   \tcode{permissions} shall replace the file's permission bits with
-  the bitwise \logop{OR} of \tcode{perm} and the file's current permission bits. \\ \rowsep
+  the bitwise \logop{or} of \tcode{perm} and the file's current permission bits. \\ \rowsep
 \tcode{remove} &
   \tcode{permissions} shall replace the file's permission bits with
-  the bitwise \logop{AND} of the complement of \tcode{perm} and the file's current permission bits. \\ \rowsep
+  the bitwise \logop{and} of the complement of \tcode{perm} and the file's current permission bits. \\ \rowsep
 \tcode{nofollow} &
   \tcode{permissions} shall change the permissions of a symbolic link itself
   rather than the permissions of the file the link resolves to. \\

source/macros.tex

@@ -518,7 +518,7 @@
 \newcommand{\cvqual}[1]{\textit{#1}}
 \newcommand{\cv}{\ifmmode\mathit{cv}\else\cvqual{cv}\fi}
 \newcommand{\numconst}[1]{\textsl{#1}}
-\newcommand{\logop}[1]{{\footnotesize #1}}
+\newcommand{\logop}[1]{\textsc{#1}}
 
 %%--------------------------------------------------
 %% Environments for code listings.

source/ranges.tex

@@ -3994,7 +3994,7 @@
 Range adaptors are declared in namespace \tcode{std::ranges::views}.
 
 \pnum
-The bitwise \logop{OR} operator is overloaded for the purpose of creating adaptor chain
+The bitwise \logop{or} operator is overloaded for the purpose of creating adaptor chain
 pipelines. The adaptors also support function call syntax with equivalent
 semantics.
 
@@ -9863,7 +9863,7 @@
 \pnum
 \remarks
 The exception specification is equivalent to
-the logical \logop{AND} of the following expressions:
+the logical \logop{and} of the following expressions:
 \begin{codeblock}
 noexcept(ranges::iter_swap(std::get<@$i$@>(l.@\exposid{current_}@), std::get<@$i$@>(r.@\exposid{current_}@)))
 \end{codeblock}

source/regex.tex

@@ -264,7 +264,7 @@
 Converts the character sequence designated by the iterator range
 \range{F1}{F2} into a value of a bitmask type that can
 subsequently be passed to \tcode{isctype}.
-Values returned from \tcode{lookup_classname} can be bitwise \logop{OR}'ed together;
+Values returned from \tcode{lookup_classname} can be bitwise \logop{or}'ed together;
 the resulting value represents membership
 in either of the corresponding character classes.
 If \tcode{b} is \tcode{true}, the returned bitmask is suitable for
@@ -3850,7 +3850,7 @@
 \indexlibrary{regular expression traits!\idxcode{lookup_classname}}%
 \indexlibrary{\idxcode{lookup_classname}!regular expression traits}%
 The results from multiple calls
-to \tcode{traits_inst.lookup_classname} can be bitwise \logop{OR}'ed
+to \tcode{traits_inst.lookup_classname} can be bitwise \logop{or}'ed
 together and subsequently passed to \tcode{traits_inst.isctype}.
 
 \pnum

source/templates.tex

@@ -1589,8 +1589,8 @@
 called the \defn{parameter mapping}\iref{temp.constr.decl}.
 \begin{note}
 Atomic constraints are formed by constraint normalization\iref{temp.constr.normal}.
-\tcode{E} is never a logical \logop{AND} expression\iref{expr.log.and}
-nor a logical \logop{OR} expression\iref{expr.log.or}.
+\tcode{E} is never a logical \logop{and} expression\iref{expr.log.and}
+nor a logical \logop{or} expression\iref{expr.log.or}.
 \end{note}
 
 \pnum
@@ -1728,7 +1728,7 @@
 of that expression.
 
 \item Otherwise, the associated constraints are the normal form of a logical
-\logop{AND} expression\iref{expr.log.and} whose operands are in the
+\logop{and} expression\iref{expr.log.and} whose operands are in the
 following order:
 \begin{itemize}
 \item

source/utilities.tex

@@ -2151,7 +2151,7 @@
 
 \pnum
 \remarks
-The exception specification is equivalent to the logical \logop{AND} of the
+The exception specification is equivalent to the logical \logop{and} of the
 following expressions:
 
 \begin{codeblock}
@@ -5116,7 +5116,7 @@
 
 \pnum
 \remarks
-The exception specification is equivalent to the logical \logop{AND} of
+The exception specification is equivalent to the logical \logop{and} of
 \tcode{is_nothrow_move_con\-structible_v<$\tcode{T}_i$>} for all $i$.
 If \tcode{is_trivially_move_constructible_v<$\tcode{T}_i$>}
 is \tcode{true} for all $i$, this constructor is trivial.
@@ -5729,7 +5729,7 @@
 If an exception is thrown during the exchange of the values of \tcode{*this}
 and \tcode{rhs}, the states of the values of \tcode{*this} and of \tcode{rhs}
 are determined by the exception safety guarantee of \tcode{variant}'s move constructor.
-The exception specification is equivalent to the logical \logop{AND} of
+The exception specification is equivalent to the logical \logop{and} of
 \tcode{is_nothrow_move_constructible_v<$\tcode{T}_i$> \&\& is_nothrow_swappable_v<$\tcode{T}_i$>} for all $i$.
 \end{itemdescr}
 

tools/check-source.sh

@@ -177,6 +177,10 @@ for f in $texfiles; do
 done |
     fail '"shall", "should", or "may" inside a note' || failed=1
 
+# \logop should use lowercase arguments
+grep -n '\\logop{[^}]*[^andor}][^}]*}' $texfiles |
+    fail 'bad argument for \\logop' || failed=1
+
 # Hanging paragraphs
 for f in $texfiles; do
     sed -n '/^\\rSec/{=;p;};/^\\pnum/{s/^.*$/x/;=;p;}' $f |