I am trying to parse a formula, and display it on screen. For example I should be able to take <path>T Q, where <path>T cannot change, and Q is a variable. It accepts it,however when printing it on screen again the only thing that will appear is T Q. I want <path>T Q to appear fully.

Other examples of accepted formulae are

(B & A)

~A

~(B&A)

<path>T (B & A)

etc

My code is something like this

  var beginPartBUC      = '^<path>\\(',
  beginPart = '^\(',
  unaryPart         = '(?:~|<path>T)',
  propOrBinaryPart  = '(?:\\w+|\\(.*\\))',
  subwffPart        = unaryPart + '*' + propOrBinaryPart,
  endPart           = '\\)$';

// binary connective regexes

  var conjRegEx = new RegExp(beginPart + '(' + subwffPart + ')&(' + subwffPart + ')' + endPart), // (p&q)
  implRegEx = new RegExp(beginPart + '(' + subwffPart + ')->('  + subwffPart + ')' + endPart), // (p->q)
  equiRegEx = new RegExp(beginPart + '(' + subwffPart + ')<->(' + subwffPart + ')' + endPart); // (p<->q)
 // untilRegEx = new RegExp(beginPartBUC + '(' + subwffPart + ')U('   + subwffPart + ')' + endPart);    //<path>(p U q))