I pseudokode kan den første ekvivalensen skrives som , og den andre kan skrives som .