Tarang

Added functionality for double-implies in logic.