- got theorem search result to appear and be selected but no method yet to append the ref to editor
- in middle of fixing the new reference element
	--> need to add new reference form under dropdown menu but it's buggy currently