Is there a specific command or syntax to use in Texis to search for numbers? For example, I want to find "4,169,846", and it is taking a long time. And I remember seeing a special syntax to search for numbers.
Thank you.
Thank you.
If you're looking for specific numbers in known formats you can add index expressions such as
\digit+
[\digit,]+[,.]=>>\digit+
to speed up those searches.
If you're looking for generic quantities you can use NPM
#4169846
or
#>4169000<417000
but that will be linear and slow on a large data set. It's generally expected that you'll use some indexable term(s) with NPM such as
#4169846 dollars
or
#>8<20 feet
etc.