Regular Expressions 101

Pro

Atomic Group(?> (?P<L> ¬? (?> [A-Z⊥]| \((?R)\) ) )[↔∧∨→])?

?repeats the group contents below at most once:

Group L(?P<L> ¬? (?> [A-Z⊥]| \((?R)\) ) )

¬?optionally matches the literal ¬ (172₁₀ / 254₈ / AC₁₆)

Atomic Group(?> [A-Z⊥]| \((?R)\) )

1st Alternative [A-Z⊥]

Character Class[A-Z⊥]

A-Zone character from A (65₁₀) to Z (90₁₀) (case sensitive)

⊥the literal ⊥ (8869₁₀ / 21245₈ / 22A5₁₆)

2nd Alternative \((?R)\)

\(the literal ( (40₁₀ / 50₈ / 28₁₆)

(?R)recurses into the entire pattern

\)the literal ) (41₁₀ / 51₈ / 29₁₆)

Character Class[↔∧∨→]

↔the literal ↔ (8596₁₀ / 20624₈ / 2194₁₆)

∧the literal ∧ (8743₁₀ / 21047₈ / 2227₁₆)

∨the literal ∨ (8744₁₀ / 21050₈ / 2228₁₆)

→the literal → (8594₁₀ / 20622₈ / 2192₁₆)

\g<L>calls group L as a subroutine

Global pattern flags

g modifier: global. Finds all matches instead of stopping after the first

x modifier: extended. Ignores unescaped whitespace and comments outside character classes

Detailed match information will be displayed here automatically.

25 tokens

(?> (?P<L> ¬? (?> [A-Z⊥]| \((?R)\) ) )[↔∧∨→])?\g<L>

New

P
⊥
¬Q
P∧Q
P∨(Q→R)
P∧(Q∧R)
¬P∨¬(Q∧R)

P
⊥
¬Q
P∧Q
P∨(Q→R)
P∧(Q∧R)
¬P∨¬(Q∧R)