هف

هف . [ ] (علامت اختصاری ) در منطق رمز است از «هذا خلف ». (یادداشت مؤلف ).