\(the literal ( (4010 / 508 / 2816)
define-funthe literal text define-fun (case sensitive) \s+any whitespace character, repeated at least once
\S+any non-whitespace character, repeated at least once
.*any character (except for line terminators), repeated any number of times
\na line-feed (newline) character (ASCII 10)
\s*any whitespace character, repeated any number of times
\d+a digit, repeated at least once
\)the literal ) (4110 / 518 / 2916)
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