formfuns function

expand double-bar RE notation by splitting