diff --git a/lib/unicodesymbols b/lib/unicodesymbols
index 66cbfc74aa..1d0c32d0d1 100644
--- a/lib/unicodesymbols
+++ b/lib/unicodesymbols
@@ -2332,10 +2332,10 @@
 0x2224 ""                         "" "force!=utf8x" "\\nmid" "" # DOES NOT DIVIDE # or "\\notdivides" "mathabx"
 0x2225 ""                         "" "force!=utf8x" "\\parallel" "" # PARALLEL TO
 0x2226 ""                         "" "force!=utf8x" "\\nparallel" "amssymb" # NOT PARALLEL TO
-0x2227 ""                         "" "force!=utf8x" "\\bigwedge" "" # LOGICAL AND
-0x2228 ""                         "" "force!=utf8x" "\\bigvee" "" # LOGICAL OR
-0x2229 ""                         "" "force!=utf8x" "\\bigcap" # INTERSECTION
-0x222a ""                         "" "force!=utf8x" "\\bigcup" "" # UNION
+0x2227 ""                         "" "force!=utf8x" "\\wedge" "" # LOGICAL AND
+0x2228 ""                         "" "force!=utf8x" "\\vee" "" # LOGICAL OR
+0x2229 ""                         "" "force!=utf8x" "\\cap" # INTERSECTION
+0x222a ""                         "" "force!=utf8x" "\\cup" "" # UNION
 0x222b ""                         "" "force!=utf8x" "\\int" "esint" # INTEGRAL
 0x222c ""                         "" "force!=utf8x" "\\iint" "esint|amsmath" # DOUBLE INTEGRAL
 0x222d ""                         "" "force!=utf8x" "\\iiint" "esint|amsmath" # TRIPLE INTEGRAL
diff --git a/status.24x b/status.24x
index 4914473ea5..17c4998473 100644
--- a/status.24x
+++ b/status.24x
@@ -50,6 +50,8 @@ What's new
 
 - Only \protect labels in \thanks notes (see bug 9404).
 
+- Fix size of Logical and/or characters in LaTeX output (bug 13099).
+
 
 * USER INTERFACE