{ localUrl: '../page/iff.html', arbitalUrl: 'https://arbital.com/p/iff', rawJsonUrl: '../raw/46m.json', likeableId: '2642', likeableType: 'page', myLikeValue: '0', likeCount: '2', dislikeCount: '0', likeScore: '2', individualLikes: [ 'EricBruylant', 'EricRogstad' ], pageId: 'iff', edit: '6', editSummary: '', prevEdit: '5', currentEdit: '6', wasPublished: 'true', type: 'wiki', title: 'Iff', clickbait: 'If and only if...', textLength: '839', alias: 'iff', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'MYass', editCreatedAt: '2016-10-04 21:23:12', pageCreatorId: 'AlexeiAndreev', pageCreatedAt: '2016-06-11 22:19:28', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '0', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '59', text: 'Iff is a shorthand for "if and only if". Its logical symbol is $\\leftrightarrow$.\n\n"A iff B" ($A \\leftrightarrow B$) is quite distinct from "if A then B" ($A \\rightarrow B$). Consider the stipulation "If the dog barks, then it will soon bite". This would not obligate the dog to bark a warning before biting. The "if" relation isn't symmetrical. As such, the dog might sometimes bite spontaneously, with no barking at all.\n\nIf we wanted to ensure that biting is always forewarned by barking, we would instead stipulate "**Iff** dog barks, then it will soon bite". This is equivalent to\n\n* "the dog barks *if and only if* it will soon bite"\n\n* "If the dog barks then it will soon bite, and if the dog bites it will have barked beforehand".\n\n* "The dog barks only when it will soon bite"\n\nWith "iff", the implication runs in both directions.', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '1', maintainerCount: '1', userSubscriberCount: '0', lastVisit: '', hasDraft: 'false', votes: [], voteSummary: 'null', muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'false', proposalEditNum: '7', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: {}, creatorIds: [ 'MYass', 'AlexeiAndreev' ], childIds: [], parentIds: [ 'math' ], commentIds: [], questionIds: [], tagIds: [ 'formal_definition_meta_tag', 'stub_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], lenses: [], lensParentId: '', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19867', pageId: 'iff', userId: 'MYass', edit: '7', type: 'newEditProposal', createdAt: '2016-10-06 02:48:01', auxPageId: '', oldSettingsValue: '', newSettingsValue: 'I was trying to be mildly amusing but I think it obscured the point' }, { likeableId: '3569', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '19845', pageId: 'iff', userId: 'MYass', edit: '6', type: 'newEdit', createdAt: '2016-10-04 21:23:12', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3559', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '19824', pageId: 'iff', userId: 'MYass', edit: '5', type: 'newEdit', createdAt: '2016-10-02 22:37:02', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13797', pageId: 'iff', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-06-17 23:37:32', auxPageId: 'formal_definition_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13795', pageId: 'iff', userId: 'EricBruylant', edit: '0', type: 'deleteTag', createdAt: '2016-06-17 23:37:25', auxPageId: 'definition_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12446', pageId: 'iff', userId: 'AlexeiAndreev', edit: '1', type: 'newEdit', createdAt: '2016-06-11 22:19:28', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12442', pageId: 'iff', userId: 'AlexeiAndreev', edit: '1', type: 'newTag', createdAt: '2016-06-11 22:19:22', auxPageId: 'definition_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12441', pageId: 'iff', userId: 'AlexeiAndreev', edit: '1', type: 'newTag', createdAt: '2016-06-11 22:19:19', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12440', pageId: 'iff', userId: 'AlexeiAndreev', edit: '1', type: 'newParent', createdAt: '2016-06-11 22:19:15', auxPageId: 'math', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }