#,@ 7 #\ 7ii #| 7iii & 9 ’ 7iv #’ 7v * 14 *, formal semantics rule [6*1] 15 *, formal semantics rule [6*] 15ii + 14ii +, formal semantics rule [6+0] 15iii +, formal semantics rule [6+] 15iv ,@ 7vi , 7vii #, 7viii - 14iii, 14iv -, formal semantics rule [6-arity] 15v -, formal semantics rule [6-] 15vi -, formal semantics rule [6u-] 15vii ... 14v, 14vi / 14vii, 14viii /, formal semantics rule [6/0] 15viii /, formal semantics rule [6/arity] 15ix /, formal semantics rule [6/] 15x /, formal semantics rule [6u/] 15xi ; 7ix #; 7x < 14ix <= 14x = 14xi => 14xii > 14xiii >= 14xiv _ 14xv, 14xvi #‘ 7xi ‘ 7xii |# 7xiii

abs 14xvii acos 14xviii and 14xix angle 14xx append 14xxi apply 14xxii apply, formal semantics rule [6apparity0] 15xii apply, formal semantics rule [6apparity1] 15xiii apply, formal semantics rule [6applyce] 15xiv apply, formal semantics rule [6applyc] 15xv apply, formal semantics rule [6applye] 15xvi apply, formal semantics rule [6applyf] 15xvii apply, formal semantics rule [6applynf] 15xviii argument checking 8 asin 14xxiii assert 14xxiv assertion-violation 14xxv assignment 4 atan 14xxvi, 14xxvii

#b 7xiv, 7xv backquote 14xxviii begin 14xxix, 14xxx begin, formal semantics rule [6beginc] 15xix begin, formal semantics rule [6begind] 15xx begin, formal semantics rule [6ubegin] 15xxi begin0, formal semantics rule [6begin01] 15xxii begin0, formal semantics rule [6begin0n] 15xxiii begin0, formal semantics rule [6ubegin0uu] 15xxiv begin0, formal semantics rule [6ubegin0u] 15xxv begin0, formal semantics rule [6ubegin0] 15xxvi binding 4ii, 8ii binding construct 8iii body 14xxxi boolean 4iii boolean=? 14xxxii boolean? 14xxxiii, 14xxxiv bound 8iv

caar 14xxxv cadr 14xxxvi call 12 call-with-current-continuation 14xxxvii call-with-values 14xxxviii call-with-values, formal semantics rule [6cwvd] 15xxvii call-with-values, formal semantics rule [6cwvw] 15xxviii call/cc 14xxxix call/cc, formal semantics rule [6call/cc] 15xxix car 14xl car, formal semantics rule [6care] 15xxx car, formal semantics rule [6car] 15xxxi case 14xli cdddar 14xlii cddddr 14xliii cdr 14xliv cdr, formal semantics rule [6cdre] 15xxxii cdr, formal semantics rule [6cdr] 15xxxiii ceiling 14xlv char->integer 14xlvi char<=? 14xlvii char<? 14xlviii char=? 14xlix char>=? 14l char>? 14li char? 14lii, 14liii character 4iv Characters 14liv code point 14lv command-line arguments 11 comment 7xvi, 7xvii complex? 14lvi cond 14lvii condition?, formal semantics rule [6cf] 15xxxiv condition?, formal semantics rule [6ct] 15xxxv cons 14lviii cons, formal semantics rule [6cons] 15xxxvi consi, formal semantics rule [6consi] 15xxxvii constant 8v continuable exception 8vi core form 13 cos 14lix

#d 7xviii datum 7xix, 7xx datum value 4v, 7xxi define 14lx, 14lxi define-syntax 14lxii definition 4vi, 8vii, 10, 14lxiii, 14lxiv, 14lxv denominator 14lxvi derived form 4vii div 14lxvii div-and-mod 14lxviii div0 14lxix div0-and-mod0 14lxx dot, formal semantics rule [6μapp] 15xxxviii dot, formal semantics rule [6μarity] 15xxxix dw, formal semantics rule [6dwdone] 15xl dw, formal semantics rule [6udw] 15xli dynamic environment 8viii dynamic extent 8ix dynamic-wind 14lxxi dynamic-wind, formal semantics rule [6dwarity] 15xlii dynamic-wind, formal semantics rule [6winde] 15xliii dynamic-wind, formal semantics rule [6wind] 15xliv

#e 7xxii, 7xxiii else 14lxxii, 14lxxiii empty list 7xxiv, 14lxxiv, 14lxxv, 14lxxvi, 14lxxvii, 14lxxviii eq? 14lxxix equal? 14lxxx equivalence predicate 14lxxxi eqv? 14lxxxii eqv?, formal semantics rule [6eqcf] 15xlv eqv?, formal semantics rule [6eqct] 15xlvi eqv?, formal semantics rule [6eqf] 15xlvii eqv?, formal semantics rule [6eqt] 15xlviii eqv?, formal semantics rule [6ueqv] 15xlix error 14lxxxiii escape procedure 14lxxxiv escape sequence 7xxv even? 14lxxxv exact 6, 14lxxxvi exact 14lxxxvii exact-integer-sqrt 14lxxxviii exact? 14lxxxix exactness 6ii exceptional situation 8x exp 14xc export 10ii expression 4viii, 10iii expt 14xci external representation 7xxvi

#f 7xxvii, 14xcii false 8xi finite? 14xciii fixnum 6iii flonum 6iv floor 14xciv for-each 14xcv form 4ix, 7xxviii

gcd 14xcvi

hole 15l hygienic 12ii

#i 7xxix, 7xxx identifier 4x, 7xxxi, 7xxxii, 8xii identifier-syntax 14xcvii if 14xcviii, 14xcix if, formal semantics rule [6if3f] 15li if, formal semantics rule [6if3t] 15lii imag-part 14c immutable 8xiii implementation restriction 6v, 8xiv import 10iv import level 10v improper list 14ci inexact 6vi, 14cii inexact 14ciii inexact? 14civ infinite? 14cv instance 10vi instantiation 10vii integer objects 6vii integer->char 14cvi integer-valued? 14cvii integer? 14cviii

keyword 8xv, 12iii

lambda 14cix lambda, formal semantics rule [6μapp1] 15liii lambda, formal semantics rule [6μapp] 15liv lambda, formal semantics rule [6μarity] 15lv lambda, formal semantics rule [6app0] 15lvi lambda, formal semantics rule [6appN!] 15lvii lambda, formal semantics rule [6appN] 15lviii lambda, formal semantics rule [6arity] 15lix lambda, formal semantics rule [6cwvd] 15lx lcm 14cx length 14cxi let 14cxii, 14cxiii let* 14cxiv let*-values 14cxv let-syntax 14cxvi let-values 14cxvii letrec 14cxviii letrec, formal semantics rule [6letrec] 15lxi letrec* 14cxix letrec*, formal semantics rule [6letrec*] 15lxii letrec-syntax 14cxx level 10viii lexeme 7xxxiii library 4xi, 8xvi, 10ix library 10x list 4xii list 14cxxi list, formal semantics rule [6listc] 15lxiii list, formal semantics rule [6listn] 15lxiv list->string 14cxxii list->vector 14cxxiii list-ref 14cxxiv list-tail 14cxxv list? 14cxxvi literal 12iv location 8xvii log 14cxxvii, 14cxxviii

macro 4xiii, 12v macro keyword 12vi macro transformer 12vii, 14cxxix magnitude 14cxxx make-polar 14cxxxi make-rectangular 14cxxxii make-string 14cxxxiii, 14cxxxiv make-vector 14cxxxv, 14cxxxvi map 14cxxxvii max 14cxxxviii may 5 min 14cxxxix mod 14cxl mod0 14cxli must 5ii must be 9ii must not 5iii mutable 8xviii

nan? 14cxlii negative? 14cxliii not 14cxliv null, formal semantics rule [6applyf] 15lxv null, formal semantics rule [6null?t] 15lxvi null? 14cxlv, 14cxlvi null?, formal semantics rule [6null?f] 15lxvii null?, formal semantics rule [6null?t] 15lxviii number 4xiv, 6viii number->string 14cxlvii, 14cxlviii, 14cxlix number? 14cl, 14cli numerator 14clii numerical types 6ix

#o 7xxxiv, 7xxxv object 4xv odd? 14cliii or 14cliv

pair 4xvi, 14clv pair? 14clvi, 14clvii pair?, formal semantics rule [6pair?f] 15lxix pair?, formal semantics rule [6pair?t] 15lxx pattern variable 8xix, 14clviii phase 10xi positive? 14clix predicate 14clx prefix notation 4xvii procedure 4xviii, 4xix procedure call 4xx, 12viii procedure? 14clxi, 14clxii procedure?, formal semantics rule [6procf] 15lxxi procedure?, formal semantics rule [6proct] 15lxxii proper tail recursion 8xx

quasiquote 14clxiii quote 14clxiv

raise 8xxi raise, formal semantics rule [6xr] 15lxxiii raise-continuable, formal semantics rule [6xrc] 15lxxiv rational-valued? 14clxv rational? 14clxvi rationalize 14clxvii real-part 14clxviii real-valued? 14clxix real? 14clxx referentially transparent 12ix region 8xxii, 14clxxi, 14clxxii, 14clxxiii, 14clxxiv, 14clxxv, 14clxxvi, 14clxxvii, 14clxxviii responsibility 8xxiii reverse 14clxxix (rnrs base (6)) 14clxxx round 14clxxxi

safe libraries 8xxiv scalar value 14clxxxii, 14clxxxiii set! 14clxxxiv set!, formal semantics rule [6setdte] 15lxxv set!, formal semantics rule [6setdt] 15lxxvi set!, formal semantics rule [6set] 15lxxvii set-car!, formal semantics rule [6scare] 15lxxviii set-car!, formal semantics rule [6setcar] 15lxxix set-cdr!, formal semantics rule [6scdre] 15lxxx set-cdr!, formal semantics rule [6setcdr] 15lxxxi should 5iv should not 5v simplest rational 14clxxxv sin 14clxxxvi splicing 14clxxxvii sqrt 14clxxxviii standard library 8xxv string 4xxi string 14clxxxix string->list 14cxc string->number 14cxci, 14cxcii string->symbol 14cxciii string-append 14cxciv string-copy 14cxcv string-for-each 14cxcvi string-length 14cxcvii string-ref 14cxcviii string<=? 14cxcix string<? 14cc string=? 14cci string>=? 14ccii string>? 14cciii string? 14cciv, 14ccv subform 4xxii, 7xxxvi substring 14ccvi surrogate 14ccvii symbol 4xxiii, 7xxxvii symbol->string 14ccviii symbol=? 14ccix symbol? 14ccx, 14ccxi syntactic abstraction 12x syntactic datum 4xxiv, 7xxxviii, 7xxxix syntactic keyword 4xxv, 7xl, 8xxvi, 12xi syntax violation 8xxvii syntax-rules 14ccxii

#t 7xli, 14ccxiii tail call 8xxviii, 14ccxiv tan 14ccxv throw, formal semantics rule [6throw] 15lxxxii top-level program 4xxvi, 8xxix, 11ii transformer 12xii, 14ccxvi true 8xxx, 14ccxvii, 14ccxviii truncate 14ccxix type 14ccxx

unbound 8xxxi, 12xiii Unicode 14ccxxi Unicode scalar value 14ccxxii unquote 14ccxxiii unquote-splicing 14ccxxiv unspecified behavior 8xxxii unspecified values 8xxxiii

valid indices 14ccxxv, 14ccxxvi values 14ccxxvii values, formal semantics rule [6begin0n] 15lxxxiii values, formal semantics rule [6beginc] 15lxxxiv values, formal semantics rule [6cwvd] 15lxxxv values, formal semantics rule [6demote] 15lxxxvi values, formal semantics rule [6dwdone] 15lxxxvii values, formal semantics rule [6ubegin0u] 15lxxxviii values, formal semantics rule [6ubegin0] 15lxxxix values, formal semantics rule [6uval] 15xc values, formal semantics rule [6xdone] 15xci variable 4xxvii, 7xlii, 8xxxiv, 12xiv vector 4xxviii vector 14ccxxviii vector->list 14ccxxix vector-fill! 14ccxxx vector-for-each 14ccxxxi vector-length 14ccxxxii vector-map 14ccxxxiii vector-ref 14ccxxxiv vector-set! 14ccxxxv vector? 14ccxxxvi, 14ccxxxvii visit 10xii visiting 10xiii

Whitespace 7xliii with-exception-handler, formal semantics rule [6weherr] 15xcii with-exception-handler, formal semantics rule [6xwh1] 15xciii with-exception-handler, formal semantics rule [6xwhne] 15xciv with-exception-handler, formal semantics rule [6xwhn] 15xcv

#x 7xliv, 7xlv

zero? 14ccxxxviii