I considered describing the probabilities of the oracle returning “true” by a different function τ(┌M┐,p), but it seemed too pedantic to have a different letter. Maybe that’s wrong, but it still feels too pedantic. If I do things that way I probably shouldn’t be writing ”O(┌M┐,p) returns ‘true’ if...”, though...
Fixed the typo, thanks!
I considered describing the probabilities of the oracle returning “true” by a different function τ(┌M┐,p), but it seemed too pedantic to have a different letter. Maybe that’s wrong, but it still feels too pedantic. If I do things that way I probably shouldn’t be writing ”O(┌M┐,p) returns ‘true’ if...”, though...