Fibrifold_notation loading ...