improve rustdoc

evm_arithmetization/src/cpu/kernel/optimizer.rs

@@ -177,10 +177,10 @@ fn is_push_or_dup(op: &Item) -> bool {
     false
 }
 
-/// First law: (not A) and (not B) = not (A or B)
-/// e.g. [PUSH a, NOT, PUSH b, NOT, AND] -> [PUSH a, PUSH b, OR, NOT]
-/// Second law: (not A) or (not B) = not (A and B)
-/// e.g. [PUSH a, NOT, PUSH b, NOT, OR] -> [PUSH a, PUSH b, AND, NOT]
+/// De Morgan's First Law: `(not A) and (not B) = not (A or B)`.
+/// e.g. `[PUSH a, NOT, PUSH b, NOT, AND] -> [PUSH a, PUSH b, OR, NOT]`.
+/// De Morgan's Second Law: `(not A) or (not B) = not (A and B)`.
+/// e.g. `[PUSH a, NOT, PUSH b, NOT, OR] -> [PUSH a, PUSH b, AND, NOT]`.
 /// This also handles `DUP` operations.
 fn de_morgan(code: &mut Vec<Item>) {
     replace_windows(code, |window| {