Regular Expressions 101

Pro

^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)

\ban ASCII word boundary

.*any character (except for line terminators), repeated any number of times

\Ra newline sequence

"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

^[ ]*lemma\b.*\R"[^"]*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
"