fix: formula parse for formula begins with (

[yhx-12243]

The original code

web/packages/core/src/Formula.ts

Lines 192 to 196 in 7235558

	if (q && q.startsWith('(')) {
	return
	} else {
	return parse('(' + q + ')')
	}

use the logic that, if q starts with ( then regard q as a whole atom. But this may be fail on something like (T1 | T2) & T3, as following:

The simplest fix is just modify the peggy syntax, adding a new item named Wrapped (atom) just wrap an formula with single “(”“)”, e.g., (T1), and it works.

[yhx-12243]

@StevenClontz Do you have time to review this?

[StevenClontz]

I need to check in with @jamesdabbs to unstick the reviewing queue on this repository.

[jamesdabbs]

LGTM 👍🏻

@StevenClontz - we're closing on a house and in last rounds of interviews. I'm optimistic about and looking forward to surfacing here before too long.

[StevenClontz]

I'm pretty flexible MWF this semester (except for the past month which has been hectic). Let's plan to synchronize when you come up for air next.