Regular Expressions 101

Pro

(?s)applies the following effective flags to the remainder of the pattern: gms

s modifier: single line. Allows a dot to match line terminators

^start of line

Character Class[ ]*

*matches any number of characters from the set below:

the literal (32₁₀ / 40₈ / 20₁₆)

lemmathe literal text lemma (case sensitive)

Negated Character Class[^"]*

*matches any number of characters outside the set below:

"the literal " (34₁₀ / 42₈ / 22₁₆)

Negated Character Class[^"]*?

*?matches any number of characters outside the set below:

"the literal " (34₁₀ / 42₈ / 22₁₆)

Kthe literal K (75₁₀ / 113₈ / 4B₁₆) (case sensitive)

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

Global pattern flags

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

m modifier: multiline. Causes ^ and $ to match the start and end of each line, not only the start and end of the string

Detailed match information will be displayed here automatically.

25 tokens

(?s)^[ ]*lemma[^"]*"[^"]*?K\(

lemma A:
"
 abx K() bc
"

// comment lemma B
lemma B:
"
 abx bc sdsf
"


lemma C:
"
 abfdfx K() bc
"


lemma D:
"
 abxsf bc
"

lemma A:
"
 abx K() bc
"

// comment lemma B
lemma B:
"
 abx bc sdsf
"


lemma C:
"
 abfdfx K() bc
"


lemma D:
"
 abxsf bc
"