Add/correct some comments in paren_infix
Authored by: david_costanzo 2023-12-02
Parent: [r5994]
Child: [r5996]