diff --git a/CHANGELOG.md b/CHANGELOG.md
index 9db7bc1..b6c777d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -35,6 +35,7 @@
 * Added error checking for unresolved typenames
 * Added constant folding for `||` and `&&`
 * `input reg` module ports are now converted to `input wire`
+* `x | |y` and `x & &y` are now output as `x | (|y)` and `x & (&y)`
 
 ## v0.0.11
 
diff --git a/src/Language/SystemVerilog/AST/Expr.hs b/src/Language/SystemVerilog/AST/Expr.hs
index 202621d..6dc8dc0 100644
--- a/src/Language/SystemVerilog/AST/Expr.hs
+++ b/src/Language/SystemVerilog/AST/Expr.hs
@@ -121,7 +121,10 @@ instance Show Expr where
         shows o .
         showChar ' ' .
         showsAttrs a .
-        showBinOpPrec r
+        case (o, r) of
+            (BitAnd, UniOp RedAnd _) -> showExprWrapped r
+            (BitOr , UniOp RedOr  _) -> showExprWrapped r
+            _ -> showBinOpPrec r
     showsPrec _ (Dot      e n  ) =
         shows e .
         showChar '.' .
@@ -202,14 +205,17 @@ showRange :: Range -> String
 showRange (h, l) = '[' : show h ++ ':' : show l ++ "]"
 
 showUniOpPrec :: Expr -> ShowS
-showUniOpPrec e@UniOp{} = (showParen True . shows) e
-showUniOpPrec e@BinOp{} = (showParen True . shows) e
+showUniOpPrec e@UniOp{} = showExprWrapped e
+showUniOpPrec e@BinOp{} = showExprWrapped e
 showUniOpPrec e = shows e
 
 showBinOpPrec :: Expr -> ShowS
-showBinOpPrec e@BinOp{} = (showParen True . shows) e
+showBinOpPrec e@BinOp{} = showExprWrapped e
 showBinOpPrec e = shows e
 
+showExprWrapped :: Expr -> ShowS
+showExprWrapped = showParen True . shows
+
 type ParamBinding = (Identifier, TypeOrExpr)
 
 showParams :: [ParamBinding] -> String
diff --git a/test/basic/red_wrap.sv b/test/basic/red_wrap.sv
new file mode 100644
index 0000000..ceda1b9
--- /dev/null
+++ b/test/basic/red_wrap.sv
@@ -0,0 +1,5 @@
+module top;
+    wire a, b, x, y;
+    assign x = a | |b;
+    assign y = a & &b;
+endmodule
diff --git a/test/basic/red_wrap.sv.pat b/test/basic/red_wrap.sv.pat
new file mode 100644
index 0000000..4b49f2a
--- /dev/null
+++ b/test/basic/red_wrap.sv.pat
@@ -0,0 +1,4 @@
+affirm | (|
+affirm & (&
+reject | |
+reject & &