switch to ¬ for bitwise not

diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn
index 6a1c3ba08a71e6f5118d277b262521869fae28bd..551e4c3ab27a37db8ced4878cda2787c27361ad1 100644 (file)
--- a/openpower/sv/rfc/ls013.mdwn
+++ b/openpower/sv/rfc/ls013.mdwn
@@ -241,8 +241,8 @@ semantics therefore Saturated variants of these instructions need not be propose
     if MMM[1] then  # signed mode
         # invert sign bits to make the unsigned comparison
         # do signed comparison of the original inputs
-        a[0] <- !a[0]  # convert
-        b[0] <- !b[0]
+        a[0] <- ¬a[0]
+        b[0] <- ¬b[0]
     if MMM[2] then  # max mode
         # swap a and b to make the less than comparison do
         # greater than comparison of the original inputs